1. A practical logic of cognitive systems
پدیدآورنده: Gabbay, Dov M., 5491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic
رده :
BC
71
.
G22P7
2. Agenda relevance :
پدیدآورنده: Dov M. Gabbay and John Woods.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic.,Logic.
رده :
BC71
.
G315
2003eb
3. Agent-Based Defeasible Control in Dynamic Environments.
پدیدآورنده: Dov M Gabbay
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.
رده :
Q339
.
D686
2010
4. Approaches to Legal Rationality
پدیدآورنده: / Dov M. Gabbay, Patrice Canivez, Shahid Rahman, Alexandre Thiercelin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
5. Approaches to Legal Rationality
پدیدآورنده: / Dov M. Gabbay... [et al.], editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Law -- Methodology,حقوق -- روش‌شناسی
رده :
K212
.
A685
2010
6. Approaches to legal rationalit
پدیدآورنده: / Dov M. Gabbay... [et al.], editors
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Law--Methodology
رده :
K
,
212
,.
A685
,
2010
7. Approaches to legal rationality /
پدیدآورنده: Dov M. Gabbay... [et al.], editors.
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع: Law -- Methodology.,حقوق -- روش شناسی
رده :
K212
.
A68
8. Approaches to legal rationality
پدیدآورنده: / Dov M. Gabbay... [et al.], editors
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع: Law--Methodology
رده :
K
212
.
A6
2010
9. Approaches to legal rationality
پدیدآورنده: Dov M. Gabbay... ]et al.[, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Law -- Methodology
رده :
K
212
.
A66
10. Approaches to legal rationality
پدیدآورنده: Dov M. Gabbay ... ]et al.[, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Methodology ، Law,Philosophy ، Law
رده :
K
212
.
A67
2010
11. Approaches to legal rationality
پدیدآورنده: Dov M. Gabbay... ]et al.[, editors
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Law, Methodology
رده :
K
212
.
A685
2010
12. Based Systems-Logical Tools for Handling Change in Agent
پدیدآورنده: / Dov M. Gabbay, Karl Schlechta
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
13. British Logic in the Nineteenth Century
پدیدآورنده: Gabbay, Dov M Compiler 5491 -
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
BC
15
.
G3
H3
2008
14. Computational logic
پدیدآورنده: edited by Dov M. Gabbay, Jörg H. Siekmann, John Woods.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer logic.
15. Conditionals and Modularity in General Logics
پدیدآورنده: / Dov M. Gabbay, Karl Schlechta
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Conditionals (Logic),Modality (Logic),استلزام (منطق),منطق موجهات
رده :
BC199
.
C56
,
G32
2011
16. Conditionals and Modularity in General Logics
پدیدآورنده: / Dov M. Gabbay, Karl Schlechta
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
17. Dynamic syntax : the flow of language understanding
پدیدآورنده : Ruth Kempson, Wilfried Meyer-Viol, Dov Gabbay
موضوع : Grammar, Comparative and general -- Syntax,Linguistic analysis (Linguistics)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
18. Elementary Logics: A Procedural Perspective
پدیدآورنده: / Dov Gabbay
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computer Science,Logic, Symbolic and Mathematical
رده :
QA76
.
G223
1998
19. Fibring logics
پدیدآورنده: Gabbay, Dov M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
G175
1999
20. Fibring logics
پدیدآورنده: Gabbay, Dov M., 5491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
G175
